EFEKTIFITAS SOSIALISASI ASURANSI SYARIAH PT. PRU Syariah BOGOR (Studi pada Pasar di Bogor)

Syariah as Heterotopia: Responses from Muslim Women in Aceh, Indonesia

In this paper, I argue that the implementation of syariah is best understood as a heterotopia by women in Aceh, Indonesia. The current debates over the role of syariah for women in Acehnese society focus on either a secular human rights critique of non-liberal norms that restrict the rights and freedom of women or a religiously prescribed defense of communal norms that protect women and society...

Università degli Studi di Siena

Managing the Implementation of E-Government in Malaysia: A Case of E-Syariah

Governments worldwide are increasingly engaged in the national e-government initiative as it is perceived to be an enabler for the improved transparency, efficiency and effectiveness of services delivered to citizens and businesses. Failure of the governments to fulfill basic requirements and perform its duties in supporting the initiative has been coined as one of the factors that hinder egove...

THE EASST NEWSLETTER Bogor: An Extensible Framework for Domain-Specific Model Checking

Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than general purpose model checking tools. To overcome limit...

Università Degli Studi Di Perugia

A Support Vector Machine (SVM ) is a powerful classifier method, already used in many problems, which can be viewed as a learning problem bringing to a convex optimization. In recent years, a considerable attention has been given on semisupervised learning, differing from traditional supervised learning by making use of unlabeled data. In fact, in many applications, labeling examples may cost l...